Knihy od autora Rupak Majumdar

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Javier Esparza, Rupak Majumdar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Computer Aided Verification

   Rupak Majumdar, Viktor Kuncak | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Computer Aided Verification

   Rupak Majumdar, Viktor Kuncak | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Hybrid Systems: Computation and Control

   Rupak Majumdar, Paulo Tabuada | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
5. 

   Runtime Verification

   Ezio Bartocci, Rupak Majumdar | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
6. 

   Model Checking Software

   Klaus Havelund, Rupak Majumdar, Jens Palsberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit

Informujeme vás o každém kroku vyřizování objednávky. Zjistěte více